constraint propagation

约束传播